翻訳と辞書 Words near each other ・ Borek, Sokółka County ・ Borek, Szamotuły County ・ Borek, Toruń County ・ Borek, Trzebnica County ・ Borek, Wolsztyn County ・ Borek, Włocławek County ・ Borek, Zielona Góra County ・ Borek, Łęczyca County ・ Borek, Świętokrzyskie Voivodeship ・ Borel ・ Borel & Co. ・ Borel (crater) ・ Borel (surname) ・ Borel Bo.11 ・ Borel conjecture ・ Borel determinacy theorem ・ Borel distribution ・ Borel equivalence relation ・ Borel fixed-point theorem ・ Borel functional calculus ・ Borel hierarchy ・ Borel hydro-monoplane ・ Borel isomorphism ・ Borel measure ・ Borel military monoplane ・ Borel regular measure ・ Borel right process ・ Borel set ・ Borel subgroup ・ Borel summation Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Borel determinacy theorem ： ウィキペディア英語版 Borel determinacy theorem In descriptive set theory, the Borel determinacy theorem states that any Gale-Stewart game whose payoff set is a Borel set is determined, meaning that one of the two players will have a winning strategy for the game. It was proved by Donald A. Martin in 1975. The theorem is applied in descriptive set theory to show that Borel sets in Polish spaces have regularity properties such as the perfect set property and the property of Baire. The theorem is also known for its metamathematical properties. In 1971, before the theorem was proved, Harvey Friedman showed that any proof of the theorem in Zermelo-Fraenkel set theory must make repeated use of the axiom of replacement. Later results showed that stronger determinacy theorems cannot be proven in Zermelo-Fraenkel set theory, although they are relatively consistent with it if certain large cardinals are consistent. == Background == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Borel determinacy theorem」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.